Optimal. Leaf size=192 \[ \frac {(2 A b+2 a B-b B) \text {ArcSin}\left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {a+a \cos (c+d x)}}\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}}{\sqrt {a} d}+\frac {\sqrt {2} (a-b) (A-B) \text {ArcTan}\left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}}{\sqrt {a} d}+\frac {b B \sin (c+d x)}{d \sqrt {a+a \cos (c+d x)} \sqrt {\sec (c+d x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.41, antiderivative size = 192, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 7, integrand size = 54, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.130, Rules used = {4306, 3124,
3061, 2861, 211, 2853, 222} \begin {gather*} \frac {(2 a B+2 A b-b B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)} \text {ArcSin}\left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {a \cos (c+d x)+a}}\right )}{\sqrt {a} d}+\frac {\sqrt {2} (a-b) (A-B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)} \text {ArcTan}\left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a \cos (c+d x)+a}}\right )}{\sqrt {a} d}+\frac {b B \sin (c+d x)}{d \sqrt {\sec (c+d x)} \sqrt {a \cos (c+d x)+a}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 222
Rule 2853
Rule 2861
Rule 3061
Rule 3124
Rule 4306
Rubi steps
\begin {align*} \int \frac {\left (a A+(A b+a B) \cos (c+d x)+b B \cos ^2(c+d x)\right ) \sqrt {\sec (c+d x)}}{\sqrt {a+a \cos (c+d x)}} \, dx &=\left (\sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {a A+(A b+a B) \cos (c+d x)+b B \cos ^2(c+d x)}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx\\ &=\frac {b B \sin (c+d x)}{d \sqrt {a+a \cos (c+d x)} \sqrt {\sec (c+d x)}}+\frac {\left (\sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {\frac {1}{2} a (2 a A+b B)+\frac {1}{2} a (2 A b+2 a B-b B) \cos (c+d x)}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx}{a}\\ &=\frac {b B \sin (c+d x)}{d \sqrt {a+a \cos (c+d x)} \sqrt {\sec (c+d x)}}+\left ((a-b) (A-B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {1}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx+\frac {\left ((2 A b+2 a B-b B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \int \frac {\sqrt {a+a \cos (c+d x)}}{\sqrt {\cos (c+d x)}} \, dx}{2 a}\\ &=\frac {b B \sin (c+d x)}{d \sqrt {a+a \cos (c+d x)} \sqrt {\sec (c+d x)}}-\frac {\left (2 a (a-b) (A-B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \text {Subst}\left (\int \frac {1}{2 a^2+a x^2} \, dx,x,-\frac {a \sin (c+d x)}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{d}-\frac {\left ((2 A b+2 a B-b B) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {x^2}{a}}} \, dx,x,-\frac {a \sin (c+d x)}{\sqrt {a+a \cos (c+d x)}}\right )}{a d}\\ &=\frac {(2 A b+2 a B-b B) \sin ^{-1}\left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {a+a \cos (c+d x)}}\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}}{\sqrt {a} d}+\frac {\sqrt {2} (a-b) (A-B) \tan ^{-1}\left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)}}{\sqrt {a} d}+\frac {b B \sin (c+d x)}{d \sqrt {a+a \cos (c+d x)} \sqrt {\sec (c+d x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.49, size = 143, normalized size = 0.74 \begin {gather*} \frac {\cos \left (\frac {1}{2} (c+d x)\right ) \sqrt {\cos (c+d x)} \sqrt {\sec (c+d x)} \left (\sqrt {2} (2 A b+2 a B-b B) \text {ArcSin}\left (\sqrt {2} \sin \left (\frac {1}{2} (c+d x)\right )\right )+2 (a-b) (A-B) \text {ArcTan}\left (\frac {\sin \left (\frac {1}{2} (c+d x)\right )}{\sqrt {\cos (c+d x)}}\right )+2 b B \sqrt {\cos (c+d x)} \sin \left (\frac {1}{2} (c+d x)\right )\right )}{d \sqrt {a (1+\cos (c+d x))}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.51, size = 317, normalized size = 1.65
method | result | size |
default | \(-\frac {\left (B \sqrt {2}\, \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, b \sin \left (d x +c \right )+2 A \sqrt {2}\, \arctan \left (\frac {\sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}}{\cos \left (d x +c \right )}\right ) b +2 B \sqrt {2}\, \arctan \left (\frac {\sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}}{\cos \left (d x +c \right )}\right ) a -B \sqrt {2}\, \arctan \left (\frac {\sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}}{\cos \left (d x +c \right )}\right ) b -2 A \arcsin \left (\frac {-1+\cos \left (d x +c \right )}{\sin \left (d x +c \right )}\right ) a +2 A \arcsin \left (\frac {-1+\cos \left (d x +c \right )}{\sin \left (d x +c \right )}\right ) b +2 B \arcsin \left (\frac {-1+\cos \left (d x +c \right )}{\sin \left (d x +c \right )}\right ) a -2 B \arcsin \left (\frac {-1+\cos \left (d x +c \right )}{\sin \left (d x +c \right )}\right ) b \right ) \sqrt {\frac {1}{\cos \left (d x +c \right )}}\, \sqrt {a \left (1+\cos \left (d x +c \right )\right )}\, \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, \left (\cos ^{2}\left (d x +c \right )-1\right ) \sqrt {2}}{2 d \sin \left (d x +c \right )^{2} a}\) | \(317\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 14.32, size = 208, normalized size = 1.08 \begin {gather*} \frac {\sqrt {a \cos \left (d x + c\right ) + a} B b \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) - {\left (2 \, B a + {\left (2 \, A - B\right )} b + {\left (2 \, B a + {\left (2 \, A - B\right )} b\right )} \cos \left (d x + c\right )\right )} \sqrt {a} \arctan \left (\frac {\sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )}}{\sqrt {a} \sin \left (d x + c\right )}\right ) - \frac {\sqrt {2} {\left ({\left (A - B\right )} a^{2} - {\left (A - B\right )} a b + {\left ({\left (A - B\right )} a^{2} - {\left (A - B\right )} a b\right )} \cos \left (d x + c\right )\right )} \arctan \left (\frac {\sqrt {2} \sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )}}{\sqrt {a} \sin \left (d x + c\right )}\right )}{\sqrt {a}}}{a d \cos \left (d x + c\right ) + a d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (A + B \cos {\left (c + d x \right )}\right ) \left (a + b \cos {\left (c + d x \right )}\right ) \sqrt {\sec {\left (c + d x \right )}}}{\sqrt {a \left (\cos {\left (c + d x \right )} + 1\right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\sqrt {\frac {1}{\cos \left (c+d\,x\right )}}\,\left (B\,b\,{\cos \left (c+d\,x\right )}^2+\left (A\,b+B\,a\right )\,\cos \left (c+d\,x\right )+A\,a\right )}{\sqrt {a+a\,\cos \left (c+d\,x\right )}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________